PROGRAM main
  TEST_BINARY_SEARCH();
END_PROGRAM
